1. Applied proof theory: proof interpretations and their use in mathematics
پدیدآورنده : Kohlenbach, U. )Ulrich(
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Proof theory,، Approximation theory,، Nonlinear operators,، Automatic theorem proving
رده :
QA
9
.
54
.
K64
2008